home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Visual Cafe 3
/
Visual Cafe 3.ISO
/
Vcafe
/
JFC.bin
/
WindowsSplitPaneDivider.java
< prev
next >
Wrap
Text File
|
1998-06-30
|
2KB
|
69 lines
/*
* @(#)WindowsSplitPaneDivider.java 1.5 98/04/08
*
* Copyright (c) 1997 Sun Microsystems, Inc. All Rights Reserved.
*
* This software is the confidential and proprietary information of Sun
* Microsystems, Inc. ("Confidential Information"). You shall not
* disclose such Confidential Information and shall use it only in
* accordance with the terms of the license agreement you entered into
* with Sun.
*
* SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF THE
* SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
* IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
* PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR ANY DAMAGES
* SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING
* THIS SOFTWARE OR ITS DERIVATIVES.
*
*/
package com.sun.java.swing.plaf.windows;
import java.awt.*;
import com.sun.java.swing.JSplitPane;
import com.sun.java.swing.UIManager;
import com.sun.java.swing.plaf.basic.BasicSplitPaneUI;
import com.sun.java.swing.plaf.basic.BasicSplitPaneDivider;
/**
* Divider used for Windows split pane.
* <p>
* Warning: serialized objects of this class will not be compatible with
* future swing releases. The current serialization support is appropriate
* for short term storage or RMI between Swing1.0 applications. It will
* not be possible to load serialized Swing1.0 objects with future releases
* of Swing. The JDK1.2 release of Swing will be the compatibility
* baseline for the serialized form of Swing objects.
*
* @version 1.2 10/25/97
* @author Jeff Dinkins
*/
public class WindowsSplitPaneDivider extends BasicSplitPaneDivider
{
/**
* Creates a new Windows SplitPaneDivider
*/
public WindowsSplitPaneDivider(BasicSplitPaneUI ui) {
super(ui);
}
/**
* Paints the divider.
*/
// PENDING(jeff) - the thumb's location and size is currently hard coded. It
// should be dynamic.
public void paint(Graphics g) {
Color bgColor = getBackground();
Dimension size = getSize();
if(bgColor != null) {
g.setColor(bgColor);
g.fillRect(0, 0, size.width, size.height);
}
super.paint(g);
}
}